Modeling with Stochastic Message Sequence Charts
نویسنده
چکیده
Message Sequence Chart (MSC) is a formal language widely used in industry for requirement specifications. In this paper, we propose a stochastic extension to MSC and this extend version of the MSC language is called Stochastic Message Sequence Charts (SMSC). Compared with MSC, SMSC is suitable for performance modeling and analysis. We integrated the SMSC language into the Möbius framework, which has a well-defined interface that facilitates interactions and solutions to hybrid models from different modeling formalisms, to enable the use of the Möbius built-in solvers for evaluating the models’ stochastic properties.
منابع مشابه
Message Sequence Charts
Message sequence charts (MSCs) constitute an attractive visual formalism that is widely used to capture system requirements during the early design stages in domains such as telecommunication software. A version of MSCs called sequence diagrams is one of the behavioral diagram types adopted in the UML. In this chapter we survey MSCs and their extensions. In particular, we discuss high level MSC...
متن کاملIntegrating Stochastic Message Sequence Charts into Möbius for Performance Analysis
In this paper, we propose a formalism called the Stochastic Message Sequence Chart (SMSC) and integrate it into the Möbius framework. SMSC is a stochastic extension to the Message Sequence Chart (MSC) formalism, which is a formal language to describe the communication behavior between the components of a system. Compared with MSC, SMSC is suitable for performance analysis. Such analysis is ofte...
متن کاملThe Theory of Message Sequence Charts
Message Sequence Charts or MSCs are a visual formalism used in the specification of systems in many domains including telecommunications, object oriented design and forms a part of the UML language. Consequently, the formal study of MSCs has received considerable attention over the last decade. We survey some of the key results in this area with particular emphasis on the notion of regularity a...
متن کاملHow to Use XML Descriptions for Generating Markov Chain Usage Models
In this report, we give an overview how to use XML based techniques in order to derive language independent Markov Chain Usage Models [1] given any popular FDT (Formal Description Techniques), such as MSC (Message Sequence Charts, ITU-T standard Z.120) and UML/SD (Unified Modeling Language/Sequence Diagram, OMG Standard). In particular, we demonstrate and discuss the tool chain JUMBL (J Usage M...
متن کاملDeciding Properties of Message Sequence Charts
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also included, in a slightly different form, in the popular UML standard (called there sequence diagrams). We present some of the main results related to this notation, in the context of specification and automatic verificati...
متن کامل